Language, Truth and Logic in Mathematics, Jaakko Hintikka
نویسنده
چکیده
When there are many people who don't need to expect something more than the benefits to take, we will suggest you to have willing to reach all benefits. Be sure and surely do to take this language truth and logic in mathematics jaakko hintikka selected papers that gives the best reasons to read. When you really need to get the reason why, this language truth and logic in mathematics jaakko hintikka selected papers book will probably make you feel curious.
منابع مشابه
Truth definitions, Skolem functions and axiomatic set theory
§1. The mission of axiomatic set theory. What is set theory needed for in the foundations of mathematics? Why cannot we transact whatever foundational business we have to transact in terms of our ordinary logic without resorting to set theory? There are many possible answers, but most of them are likely to be variations of the same theme. The core area of ordinary logic is by a fairly common co...
متن کاملHintikka's Revolution: The Principles of Mathematics Revisited
The title of this book refers to Bertrand Russell's The Principles of Mathematics, but it does not deal with Russell's ideas. Jaakko Hintikka sees his book in a similar role to that enjoyed by Russell's, almost a century ago. It is 'crisis science', aimed at establishing a new paradigm in the foundations of mathematics. Hintikka presents a new formalism and a new logic, together with a new sema...
متن کاملJaakko Hintikka GAME-THEORETICAL SEMANTICS AS A CHALLENGE TO PROOF THEORY
Game-theoretical semantics (GTS) is but a systematization of the familiar “epsilon-delta” technique of mathematicians. It relies essentially on the game-theoretical notion of strategy for its truth definition. Since we want to express all possible patterns of dependence among variables by means of our logic, we must replace the received first-order logic by an independence-friendly (IF) logic. ...
متن کاملThe Development of the Hintikka Program
One of the highlights of the Second International Congress for Logic, Methodology, and Philosophy of Science, held in Jerusalem in 1964, was Jaakko Hintikka’s lecture “Towards a Theory of Inductive Generalization” (see [Hintikka, 1965a]). Two years later Hintikka published a two-dimensional continuum of inductive probability measures (see Hintikka, 1966), and ten years later he announced an axi...
متن کاملFROM GAMES TO DIALOGUES AND BACK Towards a general frame for validity
In this article two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game-theoretical semantics of Jaakko Hintikka. For classical Propositional logic and for classical First-order logic, an exact connection between ‘intuitionistic dialogues with hypotheses’ and semantical games is established. Various...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 8 شماره
صفحات -
تاریخ انتشار 1999